- Пнуели, Амир
-
Амир Пнуели אמיר פנואלי
Амир Пнуели, 1996 годДата рождения: Место рождения: Нахалаль
Дата смерти: Место смерти: Страна: Научная сфера: Место работы: Институт Вейцмана, Университет Нью-Йорка
Альма-матер: Награды и премии Сайт: Амир Пнуели (ивр. אמיר פנואלי, 22 апреля 1941, Нахалаль, Израиль — 2 ноября 2009, Нью-Йорк) — учёный в области теории вычислительных систем, профессор по информатике при институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование временной логики и её применения в верификации программ.
Содержание
Биография
Получил степень бакалавра в Израильском технологическом институте (Хайфа), степень доктора философии по прикладной математике — в институте Вейцмана в 1967 году с диссертацией о расчёте океанских приливов. После работы в качестве постдока в Стэнфордском университете вернулся в Реховот. В 1973 году переехал в Тель-Авив, основал в Тель-Авивском университете факультет информатики и стал его первым деканом. В 1981 году перешёл на должность профессора информатики в институте Вейцмана.
С 1999 года — профессор Нью-Йоркского университета. В 2007 году избран фелло Ассоциации вычислительной техники.
Основал две фирмы — Mini-Systems и AdCad. Был женат, имел трёх детей и внука.[1]
Скончался 2 ноября 2009 года в возрасте 68 лет от кровоизлияния в мозг.
Награды
- 1996 — премия Тьюринга «за плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем»[2]
- 1997 — почётный докторский титул от Уппсальского университета (Швеция)
- 1998 — почётный докторский титул от Университета Жозефа Фурье (Гренобль, Франция)
- 2000 — Государственная премия Израиля
Примечания
Ссылки
- Сайт Амира Пнуели при Нью-Йоркском университете (англ.)
- Сайт Амира Пнуели при институте Вейцмана (англ.)
Лауреаты премии Тьюринга Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл + Саймон (1975) • Рабин + Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон + Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт + Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис + Стернс (1993) • Фейгенбаум + Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль + Нюгорд (2001) • Ривест + Шамир + Адлеман (2002) • Кэй (2003) • Серф + Кан (2004) • Наур (2005) • Аллен (2006) • Кларк + Эмерсон + Сифакис (2007) • Лисков (2008) • Текер (2009) • Вэлиант (2010) • Перл (2011)
Категории:- Персоналии по алфавиту
- Учёные по алфавиту
- Родившиеся 22 апреля
- Родившиеся в 1941 году
- Родившиеся в Нахалале
- Умершие 2 ноября
- Умершие в 2009 году
- Умершие в Нью-Йорке
- Лауреаты премии Тьюринга
- Учёные в области информатики Израиля
- Родившиеся в Израиле
- Академики АН Израиля
- Лауреаты Государственной премии Израиля
Wikimedia Foundation. 2010.